944 research outputs found

    The resilience of indigenous knowledge in small-scale African agriculture: key drivers

    Get PDF
    The successful use of indigenous knowledge (IK) in development practice in rural Africa over the last couple of decades has proved to be elusive and disappointing. Using empirical field data from northern Malawi, this study suggests that the two key drivers for farmers in this area are household food security and the maintenance of soil fertility. Indigenous ways of knowing underpin the agricultural system which has been developed, rather than the adoption of more modern, ‘scientific’ ways, to deliver against these drivers. Such IKs, however, are deeply embedded in the economic, social and cultural environments in which they operate

    Light propagation control by finite-size effects in photonic crystals

    Full text link
    We exhibit the strong influence on light propagation of the finite size in photonic band-gap material. We show that light emission can be controlled by the symmetry group of the boundary of the finite device. These results lead simply to important practical applications.Comment: 5 pages, 4 figures, Revte

    Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests

    Get PDF
    We first propose algorithms for checking language equivalence of finite automata over a large alphabet. We use symbolic automata, where the transition function is compactly represented using a (multi-terminal) binary decision diagrams (BDD). The key idea consists in computing a bisimulation by exploring reachable pairs symbolically, so as to avoid redundancies. This idea can be combined with already existing optimisations, and we show in particular a nice integration with the disjoint sets forest data-structure from Hopcroft and Karp's standard algorithm. Then we consider Kleene algebra with tests (KAT), an algebraic theory that can be used for verification in various domains ranging from compiler optimisation to network programming analysis. This theory is decidable by reduction to language equivalence of automata on guarded strings, a particular kind of automata that have exponentially large alphabets. We propose several methods allowing to construct symbolic automata out of KAT expressions, based either on Brzozowski's derivatives or standard automata constructions. All in all, this results in efficient algorithms for deciding equivalence of KAT expressions

    Application of the Cloude-Pottier decomposition to weather radar signatures

    Get PDF
    In this paper we apply the Cloude-Pottier decomposition to Weather Radar Signatures. First, we present the results of a simulation carried out at the Chemnitz University of Technology and give the expected H-α values for different rain intensities. A comparison with standard radarmeteorological variables is also given. Then, first ever images of Entropy and Anisotropy are presented for clouds and precipitation. Experimental Data are from the POLDIRAD Weather Facility in Oberpfaffenhofen, Germany

    Unidimensional model of the ad-atom diffusion on a substrate submitted to a standing acoustic wave I. Derivation of the ad-atom motion equation

    Full text link
    The effect of a standing acoustic wave on the diffusion of an ad-atom on a crystalline surface is theoretically studied. We used an unidimensional space model to study the ad-atom+substrate system. The dynamic equation of the ad-atom, a Generalized Langevin equation, is analytically derived from the full Hamiltonian of the ad-atom+substrate system submitted to the acoustic wave. A detailed analysis of each term of this equation, as well as of their properties, is presented. Special attention is devoted to the expression of the effective force induced by the wave on the ad-atom. It has essentially the same spatial and time dependences as its parent standing acoustic wave

    Range Resolution Improvement of Airborne SAR Images

    Full text link

    orchaRd 2.0 : an R package for visualising meta-analyses with orchard plots

    Get PDF
    1. Although meta-analysis has become an essential tool in ecology and evolution, reporting of meta-analytic results can still be much improved. To aid this, we have introduced the orchard plot, which presents not only overall estimates and their confidence intervals, but also shows corresponding heterogeneity (as prediction intervals) and individual effect sizes. 2. Here, we have added significant enhancements by integrating many new functionalities into orchaRd 2.0. This updated version allows the visualisation of heteroscedasticity (different variances across levels of a categorical moderator), marginal estimates (e.g. marginalising out effects other than the one visualised), conditional estimates (i.e. estimates of different groups conditioned upon specific values of a continuous variable) and visualisations of all types of interactions between two categorical/continuous moderators. 3. orchaRd 2.0 has additional functions which calculate key statistics from multilevel meta-analytic models such as I2I^{2} and R2R^{2}. Importantly, orchaRd 2.0 contributes to better reporting by complying with PRISMA-EcoEvo (preferred reporting items for systematic reviews and meta-analyses in ecology and evolution). Taken together, orchaRd 2.0 can improve the presentation of meta-analytic results and facilitate the exploration of previously neglected patterns. 4. In addition, as a part of a literature survey, we found that graphical packages are rarely cited (~3%). We plea that researchers credit developers and maintainers of graphical packages, for example, by citations in a figure legend, acknowledging the use of relevant packages
    • 

    corecore